University of Utah - PDFSEARCH.IO - Document Search Engine

University of Utah
Results: 3552

#	Item
701	Drilling to investigate processes in active tectonics and magmatism J. Shervais1 , J. Evans1 , V. Toy2 , J. Kirkpatrick3 , A. Clarke4 , and J. Eichelberger5 1 Utah State University, Logan, Utah 84322, USA Add to Reading List Source URL: www.sci-dril.net Language: English - Date: 2014-12-23 03:58:39 Geology of Oregon Structural geology Geodynamics Scientific drilling Integrated Ocean Drilling Program Earthscope Tectonics Large igneous province Mantle plume Geology Plate tectonics Volcanology
702	Atomicity and Visibility in Tiny Embedded Systems John Regehr Nathan Cooprider University of Utah, School of Computing {regehr, coop}@cs.utah.edu Abstract Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2006-11-03 15:17:08 Compiler construction Concurrency control Programming language implementation Memory barrier TinyOS Volatile variable Memory model NesC Atom Computing Software engineering Computer memory
703	Original Research A Simulation Utilizing Virtual Humans to Prepare Primary Care Providers to Conduct Substance Use and Mental Health Screening and Brief Intervention Craig Bryan, Psy.D., University of Utah Glenn Albright Add to Reading List Source URL: resources.kognito.com Language: English - Date: 2015-03-30 12:09:56
704	Range Counting Coresets for Uncertain Data ∗ Amirali Abdullah, Samira Daruki, and Jeff M. Phillips School of Computing, University of Utah Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2013-04-07 19:56:31 Continuous function Factorial Fourier analysis Ε-net Symbol Mathematics Mathematical analysis Calculus
705	T-Check: Bug Finding for Sensor Networks Peng Li John Regehr School of Computing, University of Utah, USA Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2010-02-23 00:15:15 Data Software engineering Wireless sensor network NesC Model checking Stack Collection Tree Protocol Java Pathfinder Communications protocol Software bugs Computing TinyOS
706	Thread Verification vs. Interrupt Verification John Regehr School of Computing University of Utah ABSTRACT Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2006-09-01 15:45:37 Concurrency control Subroutines X86 instructions Digital electronics Interrupt handler Interrupt latency Reentrancy Interrupt Scheduling Computer architecture Interrupts Computing
707	ABBY D. BENNINGHOFF Assistant Professor Animal, Dairy and Veterinary Sciences Utah State University 4815 Old Main Hill Logan, UT Add to Reading List Source URL: works.bepress.com Language: English - Date: 2010-11-17 18:46:11 National Institute of Environmental Health Sciences Perfluorooctanoic acid Estrogen Chemistry Endocrine system Fatty acids
708	University of Utah Study on Government-Mandated Construction Wage Rate (“Prevailing Wage”) Policies in Five California Cities: Not a Reliable Tool for Policymakers Add to Reading List Source URL: laborissuessolutions.com Language: English - Date: 2014-03-26 13:58:33 Davis–Bacon Act Wage Palo Alto California General contractor Employment Employment compensation Real estate Project Labor Agreement Living wage Construction Architecture Prevailing wage
709	ε-Samples for Kernels Jeff M. Phillips University of Utah April 3, 2012 Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2012-04-03 18:48:02 Computational geometry Ε-net Positive-definite kernel Continuous function Automata theory Symbol Dirac delta function Mathematical analysis Operator theory Mathematics

UPDATE